81. Logic and Representation
المؤلف: \ Robert C. Moore
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Language and logic,Semantics (Philosophy),زبان و منطق,معنی‌شناسی (فلسفه),a03,a04,a03,a04
رده :
E-Book
,
82. Logic and language (second series)
المؤلف: / essays by Gilbert Ryle ... [et al.]
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق,زبان
رده :
BC
۶
/
ف
۸
ل
۲ ۱۳۴۶
83. Logic and philosophy
المؤلف: \ Alan Hausman, Howard Kahane, Paul Tidman
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Predicate (Logic),حمل (منطق),a05,a05,Logic.,Philosophy.,منطق,فلسفه
رده :
BC
108
.
H32L6
2010
E-Book
,
84. Logic and the Art of Memory
المؤلف: / Paolo Rossi
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Modern, History,Memory (Philosophy), History,Language, Universal, History,منطق جدید -- تاریخ,حافظه (فلسفه) -- تاریخ,زبان بین‌المللی -- تاریخ
رده :
BC38
.
R6713
2000
85. Logic for Philosophy
المؤلف: / Theodore Sider
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق
رده :
BC50
.
S5L6
2010
86. Logic for philosophy
المؤلف: \ Theodore Sider
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق
رده :
BC
50
.
S5L6
2009
E-Book
,
87. Logic, language, information, and computation
المؤلف: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
88. Logica modernorum in Prague about 1400 : the sophistria disputation 'Quoniam quatuor' (MS Cracow, Jagiellonian Library 686, FF. 1RA-79RB), with a partial reconstruction of Thomas of Cleve's Logica [ Electronic Book ]
المؤلف: / edition with an introduction and appendices by E.P. Bos
المکتبة: (طهران)
موضوع: منطق قرون وسطا,Logic, Medieval,Language and logic - Early works to 1800,Semantics (Philosophy) - Early works to 1800
رده :
B765
.
Z9L3
89. Logical Foundations of Computer Science
المؤلف: \ Sergei Artemov , Anil Nerode (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
90. Logical Studies of Paraconsistent Reasoning in Science and Mathematics
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
91. Logical Thinking in the Pyramidal Schema of Concepts
المؤلف: / Lutz Geldsetzer, Richard L. Schwartz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
92. Machine Learning in Healthcare Informatics
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Applied physical engineering ,robots,fuzzy logic ,روبوت‌ها,منطق فازی
رده :
E-Book
,
93. Mathematical Foundations of Computer Science 2010
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
94. Mathematical Logic
المؤلف: \ Wei Li
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
95. Mathematical Thought and its Objects
المؤلف: / Charles Parsons, Harvard University
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics, Philosophy,Object (Philosophy),Logic,ریاضیات -- فلسفه,عین (فلسفه),منطق
رده :
QA8
,.
4
.
P36
2008
96. Mathematical logic
المؤلف: / Yu. L. Ershov, E. A. Palyutin
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
۲
/
ی
۴
م
۲ ۱۳۶۳
97. Meaning and Necessity
المؤلف: / by Rudolf Carnap
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
98. Modal Logic for Philosophers
المؤلف: / James W. Garson, University of Houston
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Modality (Logic) -- Textbooks,منطق موجهات -- کتاب های درسی
رده :
BC199
.
M6
,
G38
2013
99. Modal logic
المؤلف: / Nino B. Cocchiarella and Max A. Freund
المکتبة: (طهران)
موضوع: Modality (Logic),صورت ( منطق )
رده :
BC199
.
M6C6
100. Modality
المؤلف: / Paul Portner
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Modality (Linguistics),Modality (Logic),وابسته دستوری,منطق موجهات
رده :
P299
.
M6
,
P67
2009
